Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
131	Towards support for attribute-like syntax for types, variables, and functions Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-08-23 05:17:48 C++ C programming language Data types Procedural programming languages Cross-platform software C syntax C++ classes C++11 Typedef Computing Software engineering Computer programming
132	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.4) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
133	Specification of Zinc and MiniZinc Zinc version 0.10 MiniZinc version 1.0 Nicholas Nethercote Mark Wallace Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Type theory Cross-platform software Procedural programming languages C Enumerated type Type system Database index Computing Software engineering Programming language theory
134	Type Systems for Distributed Data Sharing ? Ben Liblit, Alex Aiken, and Katherine Yelick University of California, Berkeley Berkeley, CAAbstract. Parallel programming languages that let multiple processors a Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-03-28 02:50:20 Data types Primitive types C++ Memory management Pointer Reference C++ classes Garbage collection Struct Computing Software engineering Computer programming
135	HPF-2 Scope of Activities and Motivating Applications High Performance Fortran Forum November 13, 1994 Version 0.8 Add to Reading List Source URL: hpff.rice.edu Language: English - Date: 2008-07-09 13:18:45 Procedural programming languages Data types High Performance Fortran Array programming languages Programming paradigms Fortran Array data type Array programming Pointer Computing Computer programming Software engineering
136	Towards support for attribute-like syntax for types, variables, and functions Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-05-04 14:23:24 C++ Data types C programming language Procedural programming languages Cross-platform software C syntax C++ classes C++11 Typedef Computing Software engineering Computer programming
137	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
138	Computer security  PLDI’06 Tutorial T1: Enforcing and Expressing Security with Programming Languages Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-06-11 03:17:49 Data types Type theory Association for Computing Machinery Programming Language Design and Implementation Trusted computing base Programming language Java Memory safety ALGOL 68 Computing Software engineering Programming language theory
139	Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1 and Robert Bruce Findler2 1 2 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Data types Functional programming Procedural programming languages Higher-order functions Type system ML Toro Rosso STR2 Immutable object Software engineering Computing Computer programming
140	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing

UPDATE